Distribution-Free Testing for Monomials with a Sublinear Number of Queries

نویسندگان

  • Elya Dolev
  • Dana Ron
چکیده

We consider the problem of distribution-free testing of the class of monotone monomials and the class of monomials over n variables. While there are very efficient testers for a variety of classes of functions when the underlying distribution is uniform, designing distribution-free testers (which must work under an arbitrary and unknown distribution) tends to be more challenging. When the underlying distribution is uniform, Parnas et al. (SIAM J. Discr. Math., 2002) give a tester for (monotone) monomials whose query complexity does not depend on n, and whose dependence on the distance parameter is (inverse) linear. In contrast, Glasner and Servedio (Theory of Computing, 2009) prove that every distribution-free tester for monotone monomials as well as for general monomials must have query complexity Ω̃(n1/5) (for a constant distance parameter ε). In this paper we present distribution-free testers for these classes with query complexity Õ(n1/2/ε). We note that in contrast to previous results for distribution-free testing, our testers do not build on the testers that work under the uniform distribution. Rather, we define and exploit certain structural properties of monomials (and functions that differ from them on a non-negligible part of the input space), which were not used in previous work on property testing. ACM Classification: F.2.2, G.2.0, G.3 AMS Classification: 68Q25, 68W20, 68W25, 68W40

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Distribution-Free Testing Algorithms for Monomials with a Sublinear Number of Queries

We consider the problem of distribution-free testing of the class of monotone monomials and the class of monomials over n variables. While there are very efficient algorithms for testing a variety of functions classes when the underlying distribution is uniform, designing distributionfree algorithms (which must work under any arbitrary and unknown distribution), tends to be a more challenging t...

متن کامل

Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments

In 2010, Groth constructed the only previously known sublinear-communication NIZK circuit satisfiability argument in the common reference string model. We optimize Groth’s argument by, in particular, reducing both the CRS length and the prover’s computational complexity from quadratic to quasilinear in the circuit size. We also use a (presumably) weaker security assumption, and have tighter sec...

متن کامل

Answering UCQs under Updates and in the Presence of Integrity Constraints

We investigate the query evaluation problem for fixed queries over fully dynamic databases where tuples can be inserted or deleted. The task is to design a dynamic data structure that can immediately report the new result of a fixed query after every database update. We consider unions of conjunctive queries (UCQs) and focus on the query evaluation tasks testing (decide whether an input tuple a...

متن کامل

بررسی میزان همخوانی عبارت‌های جستجوی کاربران با اصطلاحات پیشنهادی مقالات در پیشینه‌های کتابشناختی پایگاه‌های اطلاعاتی لاتین EBSCO و IEEE

Purpose: This study aims to investigate correspondence of users' queries with alternative terms of Latin databases namely IEEE and EBSCO. Databases display subjective content of their documents through natural or controlled language vocabularies in specified bibliographic fields along with other bibliographic information that are called papers alternative terms. Methodology: We used content an...

متن کامل

Testing ±1-Weight Halfspaces

We consider the problem of testing whether a Boolean function f : {−1, 1} → {−1, 1} is a±1-weight halfspace, i.e. a function of the form f(x) = sgn(w1x1+w2x2+· · ·+wnxn) where the weightswi take values in {−1, 1}. We show that the complexity of this problem is markedly different from the problem of testing whether f is a general halfspace with arbitrary weights. While the latter can be done wit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theory of Computing

دوره 7  شماره 

صفحات  -

تاریخ انتشار 2011